منابع مشابه
Temporal agent programs
The “agent program” framework introduced by Eiter, Subrahmanian and Pick (Artificial Intelligence, 108(1-2), 1999), supports developing agents on top of arbitrary legacy code. Such agents are continuously engaged in an “event occurs→ think → act→ event occurs . . . ” cycle. However, this framework has two major limitations: (1) all actions are assumed to have no duration, and (2) all actions ar...
متن کاملVerifiable Multi-agent Programs
AgentSpeak is a rea tive planning language for programming autonomous agents. It has re ently been shown that model he king te hniques an be applied to the veri ation of AgentSpeak systems, through a translation to promela, the model spe i ation language for the SPIN LTL modelhe king system. In this paper, we introdu e an alternative veri ation approa h for AgentSpeak, by translating AgentSpeak...
متن کاملAgent planning programs
a r t i c l e i n f o a b s t r a c t Keywords: Agent-oriented programming Automated planning Reasoning about action and change Synthesis of reactive systems This work proposes a novel high-level paradigm, agent planning programs, for modeling agents behavior, which suitably mixes automated planning with agent-oriented programming. Agent planning programs are finite-state programs, possibly con...
متن کاملMeta-agent programs
There are numerous applications where an agent a needs to reason about the beliefsof another agent, as well as about the actions that other agents may take. In (21)the concept of an agent program is introduced, and a language within which theoperating principles of an agent can be declaratively encoded on top of imperativedata structures is defined. In this paper we first introd...
متن کاملExecuting Temporal Logic Programs
Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits and message-passing systems. This book introduces Tempura, a programming language based on temporal logic. Tempura provides a way of directly executing suitable temporal logic specifications of digital circuits, parallel programs and ot...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2001
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(01)00052-2